// typechecks within child frames should also be eagerly checked
foo: Listing(toList().every((it: Listing<Bird>) -> it[0].name == "Bob")) = new {
  new Listing {
    new Bird { name = "Eagle" }
    new Bird { name = "Quail" }
  }
}

class Bird { name: String }
